<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><link rel="stylesheet" type="text/css" href="style.css" /><script type="text/javascript" src="highlight.js"></script></head><body><pre><span class="hs-comment">{-
(c) The University of Glasgow 2006
(c) The AQUA Project, Glasgow University, 1993-1998


-}</span><span>
</span><span id="line-7"></span><span class="hs-pragma">{-# LANGUAGE DeriveFunctor #-}</span><span>
</span><span id="line-8"></span><span>
</span><span id="line-9"></span><span class="hs-pragma">{-# LANGUAGE BangPatterns #-}</span><span>
</span><span id="line-10"></span><span>
</span><span id="line-11"></span><span class="hs-comment">-- | Provide trees (of instructions), so that lists of instructions can be</span><span>
</span><span id="line-12"></span><span class="hs-comment">-- appended in linear time.</span><span>
</span><span id="line-13"></span><span class="hs-keyword">module</span><span> </span><span class="hs-identifier">GHC.Data.OrdList</span><span> </span><span class="hs-special">(</span><span>
</span><span id="line-14"></span><span>        </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier">OrdList</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-15"></span><span>        </span><span class="annot"><a href="GHC.Data.OrdList.html#nilOL"><span class="hs-identifier">nilOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#isNilOL"><span class="hs-identifier">isNilOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#unitOL"><span class="hs-identifier">unitOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-identifier">appOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#consOL"><span class="hs-identifier">consOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#snocOL"><span class="hs-identifier">snocOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#concatOL"><span class="hs-identifier">concatOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier">lastOL</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-16"></span><span>        </span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier">headOL</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-17"></span><span>        </span><span class="annot"><a href="GHC.Data.OrdList.html#mapOL"><span class="hs-identifier">mapOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier">fromOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier">toOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier">foldrOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier">foldlOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier">reverseOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#fromOLReverse"><span class="hs-identifier">fromOLReverse</span></a></span><span class="hs-special">,</span><span>
</span><span id="line-18"></span><span>        </span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier">strictlyEqOL</span></a></span><span class="hs-special">,</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier">strictlyOrdOL</span></a></span><span>
</span><span id="line-19"></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-20"></span><span>
</span><span id="line-21"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="GHC.Prelude.html"><span class="hs-identifier">GHC.Prelude</span></a></span><span>
</span><span id="line-22"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="../../base/src/Data.Foldable.html#"><span class="hs-identifier">Data.Foldable</span></a></span><span>
</span><span id="line-23"></span><span>
</span><span id="line-24"></span><span class="hs-keyword">import</span><span> </span><span class="annot"><a href="GHC.Utils.Outputable.html"><span class="hs-identifier">GHC.Utils.Outputable</span></a></span><span>
</span><span id="line-25"></span><span>
</span><span id="line-26"></span><span class="hs-keyword">import</span><span> </span><span class="hs-keyword">qualified</span><span> </span><span class="annot"><a href="../../base/src/Data.Semigroup.html#"><span class="hs-identifier">Data.Semigroup</span></a></span><span> </span><span class="hs-keyword">as</span><span> </span><span class="annot"><span class="hs-identifier">Semigroup</span></span><span>
</span><span id="line-27"></span><span>
</span><span id="line-28"></span><span class="hs-keyword">infixl</span><span> </span><span class="hs-number">5</span><span>  </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-type">`appOL`</span></a></span><span>
</span><span id="line-29"></span><span class="hs-keyword">infixl</span><span> </span><span class="hs-number">5</span><span>  </span><span class="annot"><a href="GHC.Data.OrdList.html#snocOL"><span class="hs-operator hs-type">`snocOL`</span></a></span><span>
</span><span id="line-30"></span><span class="hs-keyword">infixr</span><span> </span><span class="hs-number">5</span><span>  </span><span class="annot"><a href="GHC.Data.OrdList.html#consOL"><span class="hs-operator hs-type">`consOL`</span></a></span><span>
</span><span id="line-31"></span><span>
</span><span id="line-32"></span><span class="hs-keyword">data</span><span> </span><span id="OrdList"><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-var">OrdList</span></a></span></span><span> </span><span id="local-6989586621680830810"><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-33"></span><span>  </span><span class="hs-glyph">=</span><span> </span><span id="None"><span class="annot"><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span></span><span>
</span><span id="line-34"></span><span>  </span><span class="hs-glyph">|</span><span> </span><span id="One"><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-var">One</span></a></span></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span>
</span><span id="line-35"></span><span>  </span><span class="hs-glyph">|</span><span> </span><span id="Many"><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-var">Many</span></a></span></span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span>          </span><span class="hs-comment">-- Invariant: non-empty</span><span>
</span><span id="line-36"></span><span>  </span><span class="hs-glyph">|</span><span> </span><span id="Cons"><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-var">Cons</span></a></span></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-37"></span><span>  </span><span class="hs-glyph">|</span><span> </span><span id="Snoc"><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-var">Snoc</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span>
</span><span id="line-38"></span><span>  </span><span class="hs-glyph">|</span><span> </span><span id="Two"><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-var">Two</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-comment">-- Invariant: non-empty</span><span>
</span><span id="line-39"></span><span>        </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830810"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-comment">-- Invariant: non-empty</span><span>
</span><span id="line-40"></span><span>  </span><span class="hs-keyword">deriving</span><span> </span><span class="hs-special">(</span><span id="local-6989586621680830793"><span id="local-6989586621680830802"><span class="annot"><span class="annottext">(forall a b. (a -&gt; b) -&gt; OrdList a -&gt; OrdList b)
-&gt; (forall a b. a -&gt; OrdList b -&gt; OrdList a) -&gt; Functor OrdList
forall a b. a -&gt; OrdList b -&gt; OrdList a
forall a b. (a -&gt; b) -&gt; OrdList a -&gt; OrdList b
forall (f :: * -&gt; *).
(forall a b. (a -&gt; b) -&gt; f a -&gt; f b)
-&gt; (forall a b. a -&gt; f b -&gt; f a) -&gt; Functor f
&lt;$ :: forall a b. a -&gt; OrdList b -&gt; OrdList a
$c&lt;$ :: forall a b. a -&gt; OrdList b -&gt; OrdList a
fmap :: forall a b. (a -&gt; b) -&gt; OrdList a -&gt; OrdList b
$cfmap :: forall a b. (a -&gt; b) -&gt; OrdList a -&gt; OrdList b
</span><a href="../../base/src/GHC.Base.html#Functor"><span class="hs-identifier hs-var hs-var hs-var hs-var hs-var hs-var">Functor</span></a></span></span></span><span class="hs-special">)</span><span>
</span><span id="line-41"></span><span>
</span><span id="line-42"></span><span id="local-6989586621680830967"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621680830784"><span class="annot"><a href="GHC.Utils.Outputable.html#Outputable"><span class="hs-identifier hs-type">Outputable</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830967"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="GHC.Utils.Outputable.html#Outputable"><span class="hs-identifier hs-type">Outputable</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830967"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-43"></span><span>  </span><span id="local-6989586621680830780"><span class="annot"><span class="annottext">ppr :: OrdList a -&gt; SDoc
</span><a href="GHC.Utils.Outputable.html#ppr"><span class="hs-identifier hs-var hs-var hs-var hs-var">ppr</span></a></span></span><span> </span><span id="local-6989586621680830778"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830778"><span class="hs-identifier hs-var">ol</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; SDoc
forall a. Outputable a =&gt; a -&gt; SDoc
</span><a href="GHC.Utils.Outputable.html#ppr"><span class="hs-identifier hs-var">ppr</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; [a]
forall a. OrdList a -&gt; [a]
</span><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier hs-var">fromOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830778"><span class="hs-identifier hs-var">ol</span></a></span><span class="hs-special">)</span></span><span>  </span><span class="hs-comment">-- Convert to list and print that</span><span>
</span><span id="line-44"></span><span>
</span><span id="line-45"></span><span id="local-6989586621680830961"><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621680830773"><span id="local-6989586621680830775"><span class="annot"><a href="../../base/src/GHC.Base.html#Semigroup"><span class="hs-identifier hs-type">Semigroup</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830961"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-46"></span><span>  </span><span id="local-6989586621680830771"><span class="annot"><span class="annottext">&lt;&gt; :: OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="../../base/src/GHC.Base.html#%3C%3E"><span class="hs-operator hs-var hs-var hs-var hs-var">(&lt;&gt;)</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#appOL"><span class="hs-identifier hs-var">appOL</span></a></span></span><span>
</span><span id="line-47"></span><span>
</span><span id="line-48"></span><span id="local-6989586621680830958"><span class="hs-keyword">instance</span><span> </span><span class="annot"><a href="../../base/src/GHC.Base.html#Monoid"><span class="hs-identifier hs-type">Monoid</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830958"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-49"></span><span>  </span><span id="local-6989586621680830763"><span class="annot"><span class="annottext">mempty :: OrdList a
</span><a href="../../base/src/GHC.Base.html#mempty"><span class="hs-identifier hs-var hs-var hs-var hs-var">mempty</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#nilOL"><span class="hs-identifier hs-var">nilOL</span></a></span><span>
</span><span id="line-50"></span><span>  </span><span id="local-6989586621680830761"><span class="annot"><span class="annottext">mappend :: OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="../../base/src/GHC.Base.html#mappend"><span class="hs-identifier hs-var hs-var hs-var hs-var">mappend</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; OrdList a
forall a. Semigroup a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#%3C%3E"><span class="hs-operator hs-var">(Semigroup.&lt;&gt;)</span></a></span><span>
</span><span id="line-51"></span><span>  </span><span id="local-6989586621680830760"><span class="annot"><span class="annottext">mconcat :: [OrdList a] -&gt; OrdList a
</span><a href="../../base/src/GHC.Base.html#mconcat"><span class="hs-identifier hs-var hs-var hs-var hs-var">mconcat</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[OrdList a] -&gt; OrdList a
forall a. [OrdList a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#concatOL"><span class="hs-identifier hs-var">concatOL</span></a></span></span><span>
</span><span id="line-52"></span><span>
</span><span id="line-53"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621680830731"><span id="local-6989586621680830733"><span id="local-6989586621680830735"><span id="local-6989586621680830737"><span id="local-6989586621680830739"><span id="local-6989586621680830744"><span id="local-6989586621680830746"><span id="local-6989586621680830749"><span id="local-6989586621680830751"><span id="local-6989586621680830754"><span id="local-6989586621680830756"><span id="local-6989586621680830758"><span class="annot"><a href="../../base/src/Data.Foldable.html#Foldable"><span class="hs-identifier hs-type">Foldable</span></a></span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span></span></span></span></span></span></span></span></span></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-54"></span><span>  </span><span id="local-6989586621680830729"><span class="annot"><span class="annottext">foldr :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldr</span></a></span></span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span>
</span><span id="line-55"></span><span>  </span><span id="local-6989586621680830727"><span class="annot"><span class="annottext">foldl' :: forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldl%27"><span class="hs-identifier hs-var hs-var hs-var hs-var">foldl'</span></a></span></span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span>
</span><span id="line-56"></span><span>  </span><span id="local-6989586621680830725"><span class="annot"><span class="annottext">toList :: forall a. OrdList a -&gt; [a]
</span><a href="../../base/src/Data.Foldable.html#toList"><span class="hs-identifier hs-var hs-var hs-var hs-var">toList</span></a></span></span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a]
forall a. OrdList a -&gt; [a]
</span><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier hs-var">fromOL</span></a></span><span>
</span><span id="line-57"></span><span>  </span><span id="local-6989586621680830723"><span class="annot"><span class="annottext">null :: forall a. OrdList a -&gt; Bool
</span><a href="../../base/src/Data.Foldable.html#null"><span class="hs-identifier hs-var hs-var hs-var hs-var">null</span></a></span></span><span>    </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Bool
forall a. OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#isNilOL"><span class="hs-identifier hs-var">isNilOL</span></a></span><span>
</span><span id="line-58"></span><span>  </span><span id="local-6989586621680830721"><span class="annot"><span class="annottext">length :: forall a. OrdList a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var hs-var hs-var hs-var">length</span></a></span></span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Int
forall a. OrdList a -&gt; Int
</span><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span>
</span><span id="line-59"></span><span>
</span><span id="line-60"></span><span class="hs-keyword">instance</span><span> </span><span id="local-6989586621680830708"><span id="local-6989586621680830710"><span id="local-6989586621680830712"><span class="annot"><a href="../../base/src/Data.Traversable.html#Traversable"><span class="hs-identifier hs-type">Traversable</span></a></span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span></span></span></span><span> </span><span class="hs-keyword">where</span><span>
</span><span id="line-61"></span><span>  </span><span id="local-6989586621680830699"><span class="annot"><span class="annottext">traverse :: forall (f :: * -&gt; *) a b.
Applicative f =&gt;
(a -&gt; f b) -&gt; OrdList a -&gt; f (OrdList b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var hs-var hs-var hs-var">traverse</span></a></span></span><span> </span><span id="local-6989586621680830697"><span class="annot"><span class="annottext">a -&gt; f b
</span><a href="#local-6989586621680830697"><span class="hs-identifier hs-var">f</span></a></span></span><span> </span><span id="local-6989586621680830696"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830696"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[b] -&gt; OrdList b
forall a. [a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier hs-var">toOL</span></a></span><span> </span><span class="annot"><span class="annottext">([b] -&gt; OrdList b) -&gt; f [b] -&gt; f (OrdList b)
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/Data.Functor.html#%3C%24%3E"><span class="hs-operator hs-var">&lt;$&gt;</span></a></span><span> </span><span class="annot"><span class="annottext">(a -&gt; f b) -&gt; [a] -&gt; f [b]
forall (t :: * -&gt; *) (f :: * -&gt; *) a b.
(Traversable t, Applicative f) =&gt;
(a -&gt; f b) -&gt; t a -&gt; f (t b)
</span><a href="../../base/src/Data.Traversable.html#traverse"><span class="hs-identifier hs-var">traverse</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; f b
</span><a href="#local-6989586621680830697"><span class="hs-identifier hs-var">f</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; [a]
forall a. OrdList a -&gt; [a]
</span><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier hs-var">fromOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830696"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-62"></span><span>
</span><span id="line-63"></span><span id="local-6989586621680830694"><span class="annot"><a href="GHC.Data.OrdList.html#nilOL"><span class="hs-identifier hs-type">nilOL</span></a></span><span>    </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830694"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-64"></span><span id="local-6989586621680830693"><span class="annot"><a href="GHC.Data.OrdList.html#isNilOL"><span class="hs-identifier hs-type">isNilOL</span></a></span><span>  </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830693"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Bool</span></span></span><span>
</span><span id="line-65"></span><span>
</span><span id="line-66"></span><span id="local-6989586621680830915"><span class="annot"><a href="GHC.Data.OrdList.html#unitOL"><span class="hs-identifier hs-type">unitOL</span></a></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="#local-6989586621680830915"><span class="hs-identifier hs-type">a</span></a></span><span>           </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830915"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-67"></span><span id="local-6989586621680830913"><span class="annot"><a href="GHC.Data.OrdList.html#snocOL"><span class="hs-identifier hs-type">snocOL</span></a></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830913"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830913"><span class="hs-identifier hs-type">a</span></a></span><span>         </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830913"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-68"></span><span id="local-6989586621680830911"><span class="annot"><a href="GHC.Data.OrdList.html#consOL"><span class="hs-identifier hs-type">consOL</span></a></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="#local-6989586621680830911"><span class="hs-identifier hs-type">a</span></a></span><span>           </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830911"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830911"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-69"></span><span id="local-6989586621680830692"><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-identifier hs-type">appOL</span></a></span><span>    </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830692"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830692"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830692"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-70"></span><span id="local-6989586621680830691"><span class="annot"><a href="GHC.Data.OrdList.html#concatOL"><span class="hs-identifier hs-type">concatOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830691"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830691"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-71"></span><span id="local-6989586621680830908"><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-type">headOL</span></a></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830908"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830908"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-72"></span><span id="local-6989586621680830690"><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-type">lastOL</span></a></span><span>   </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830690"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830690"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-73"></span><span id="local-6989586621680830689"><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-type">lengthOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830689"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Int</span></span></span><span>
</span><span id="line-74"></span><span>
</span><span id="line-75"></span><span id="nilOL"><span class="annot"><span class="annottext">nilOL :: forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#nilOL"><span class="hs-identifier hs-var hs-var">nilOL</span></a></span></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>
</span><span id="line-76"></span><span id="unitOL"><span class="annot"><span class="annottext">unitOL :: forall a. a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#unitOL"><span class="hs-identifier hs-var hs-var">unitOL</span></a></span></span><span> </span><span id="local-6989586621680830688"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830688"><span class="hs-keyword hs-var">as</span></a></span></span><span>    </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a
forall a. a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-var">One</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830688"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-77"></span><span id="snocOL"><span class="annot"><span class="annottext">snocOL :: forall a. OrdList a -&gt; a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#snocOL"><span class="hs-identifier hs-var hs-var">snocOL</span></a></span></span><span> </span><span id="local-6989586621680830687"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830687"><span class="hs-keyword hs-var">as</span></a></span></span><span>   </span><span id="local-6989586621680830686"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830686"><span class="hs-identifier hs-var">b</span></a></span></span><span>    </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a -&gt; OrdList a
forall a. OrdList a -&gt; a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-var">Snoc</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830687"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830686"><span class="hs-identifier hs-var">b</span></a></span><span>
</span><span id="line-78"></span><span id="consOL"><span class="annot"><span class="annottext">consOL :: forall a. a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#consOL"><span class="hs-identifier hs-var hs-var">consOL</span></a></span></span><span> </span><span id="local-6989586621680830685"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830685"><span class="hs-identifier hs-var">a</span></a></span></span><span>    </span><span id="local-6989586621680830684"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830684"><span class="hs-identifier hs-var">bs</span></a></span></span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a -&gt; OrdList a
forall a. a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-var">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830685"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830684"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-79"></span><span id="concatOL"><span class="annot"><span class="annottext">concatOL :: forall a. [OrdList a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#concatOL"><span class="hs-identifier hs-var hs-var">concatOL</span></a></span></span><span> </span><span id="local-6989586621680830681"><span class="annot"><span class="annottext">[OrdList a]
</span><a href="#local-6989586621680830681"><span class="hs-identifier hs-var">aas</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(OrdList a -&gt; OrdList a -&gt; OrdList a)
-&gt; OrdList a -&gt; [OrdList a] -&gt; OrdList a
forall (t :: * -&gt; *) a b.
Foldable t =&gt;
(a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var">foldr</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#appOL"><span class="hs-identifier hs-var">appOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span> </span><span class="annot"><span class="annottext">[OrdList a]
</span><a href="#local-6989586621680830681"><span class="hs-identifier hs-var">aas</span></a></span><span>
</span><span id="line-80"></span><span>
</span><span id="line-81"></span><span id="headOL"><span class="annot"><span class="annottext">headOL :: forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var hs-var">headOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">String -&gt; a
forall a. String -&gt; a
</span><a href="GHC.Utils.Panic.Plain.html#panic"><span class="hs-identifier hs-var">panic</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><span class="hs-string">&quot;headOL&quot;</span></span><span>
</span><span id="line-82"></span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830679"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830679"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830679"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-83"></span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830678"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830678"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; a
forall a. [a] -&gt; a
</span><a href="../../base/src/GHC.List.html#head"><span class="hs-identifier hs-var">head</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830678"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-84"></span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830676"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830676"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830676"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-85"></span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830675"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830675"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a
forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830675"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-86"></span><span class="annot"><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830674"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830674"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a
forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#headOL"><span class="hs-identifier hs-var">headOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830674"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-87"></span><span>
</span><span id="line-88"></span><span id="lastOL"><span class="annot"><span class="annottext">lastOL :: forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var hs-var">lastOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">String -&gt; a
forall a. String -&gt; a
</span><a href="GHC.Utils.Panic.Plain.html#panic"><span class="hs-identifier hs-var">panic</span></a></span><span> </span><span class="annot"><span class="annottext">String
</span><span class="hs-string">&quot;lastOL&quot;</span></span><span>
</span><span id="line-89"></span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830673"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830673"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830673"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-90"></span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830672"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830672"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; a
forall a. [a] -&gt; a
</span><a href="../../base/src/GHC.List.html#last"><span class="hs-identifier hs-var">last</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830672"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-91"></span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830670"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830670"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a
forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830670"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-92"></span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830669"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830669"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830669"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-93"></span><span class="annot"><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830668"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830668"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a
forall a. OrdList a -&gt; a
</span><a href="GHC.Data.OrdList.html#lastOL"><span class="hs-identifier hs-var">lastOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830668"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-94"></span><span>
</span><span id="line-95"></span><span id="lengthOL"><span class="annot"><span class="annottext">lengthOL :: forall a. OrdList a -&gt; Int
</span><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var hs-var">lengthOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">0</span></span><span>
</span><span id="line-96"></span><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">1</span></span><span>
</span><span id="line-97"></span><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830656"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830656"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">length</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830656"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-98"></span><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830655"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830655"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">1</span></span><span> </span><span class="annot"><span class="annottext">Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Num.html#%2B"><span class="hs-operator hs-var">+</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">length</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830655"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-99"></span><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830653"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830653"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Int
</span><span class="hs-number">1</span></span><span> </span><span class="annot"><span class="annottext">Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Num.html#%2B"><span class="hs-operator hs-var">+</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">length</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830653"><span class="hs-keyword hs-var">as</span></a></span><span>
</span><span id="line-100"></span><span class="annot"><a href="GHC.Data.OrdList.html#lengthOL"><span class="hs-identifier hs-var">lengthOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830652"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830652"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span id="local-6989586621680830651"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830651"><span class="hs-identifier hs-var">bs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">length</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830652"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">Int -&gt; Int -&gt; Int
forall a. Num a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Num.html#%2B"><span class="hs-operator hs-var">+</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; Int
forall (t :: * -&gt; *) a. Foldable t =&gt; t a -&gt; Int
</span><a href="../../base/src/Data.Foldable.html#length"><span class="hs-identifier hs-var">length</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830651"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-101"></span><span>
</span><span id="line-102"></span><span id="isNilOL"><span class="annot"><span class="annottext">isNilOL :: forall a. OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#isNilOL"><span class="hs-identifier hs-var hs-var">isNilOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">True</span></span><span>
</span><span id="line-103"></span><span class="annot"><a href="GHC.Data.OrdList.html#isNilOL"><span class="hs-identifier hs-var">isNilOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>    </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">False</span></span><span>
</span><span id="line-104"></span><span>
</span><span id="line-105"></span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>  </span><span id="appOL"><span class="annot"><span class="annottext">appOL :: forall a. OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-var hs-var">`appOL`</span></a></span></span><span> </span><span id="local-6989586621680830650"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830650"><span class="hs-identifier hs-var">b</span></a></span></span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830650"><span class="hs-identifier hs-var">b</span></a></span><span>
</span><span id="line-106"></span><span id="local-6989586621680830649"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830649"><span class="hs-identifier hs-var">a</span></a></span></span><span>     </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-var">`appOL`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830649"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-107"></span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830648"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830648"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-var">`appOL`</span></a></span><span> </span><span id="local-6989586621680830647"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830647"><span class="hs-identifier hs-var">b</span></a></span></span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a -&gt; OrdList a
forall a. a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-var">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830648"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830647"><span class="hs-identifier hs-var">b</span></a></span><span>
</span><span id="line-108"></span><span id="local-6989586621680830646"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830646"><span class="hs-identifier hs-var">a</span></a></span></span><span>     </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-var">`appOL`</span></a></span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830645"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830645"><span class="hs-identifier hs-var">b</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a -&gt; OrdList a
forall a. OrdList a -&gt; a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-var">Snoc</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830646"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830645"><span class="hs-identifier hs-var">b</span></a></span><span>
</span><span id="line-109"></span><span id="local-6989586621680830644"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830644"><span class="hs-identifier hs-var">a</span></a></span></span><span>     </span><span class="annot"><a href="GHC.Data.OrdList.html#appOL"><span class="hs-operator hs-var">`appOL`</span></a></span><span> </span><span id="local-6989586621680830643"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830643"><span class="hs-identifier hs-var">b</span></a></span></span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-var">Two</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830644"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830643"><span class="hs-identifier hs-var">b</span></a></span><span>
</span><span id="line-110"></span><span>
</span><span id="line-111"></span><span id="local-6989586621680830965"><span class="annot"><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier hs-type">fromOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830965"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830965"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></span><span>
</span><span id="line-112"></span><span id="fromOL"><span class="annot"><span class="annottext">fromOL :: forall a. OrdList a -&gt; [a]
</span><a href="GHC.Data.OrdList.html#fromOL"><span class="hs-identifier hs-var hs-var">fromOL</span></a></span></span><span> </span><span id="local-6989586621680830642"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830642"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830642"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="hs-special">[</span><span class="hs-special">]</span><span>
</span><span id="line-113"></span><span>  </span><span class="hs-keyword">where</span><span> </span><span id="local-6989586621680830641"><span class="annot"><span class="annottext">go :: OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var hs-var">go</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>       </span><span id="local-6989586621680830640"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830640"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830640"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-114"></span><span>        </span><span class="annot"><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830639"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830639"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span>    </span><span id="local-6989586621680830638"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830638"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830639"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830638"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-115"></span><span>        </span><span class="annot"><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830637"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830637"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830636"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830636"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621680830635"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830635"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830637"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830636"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830635"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-116"></span><span>        </span><span class="annot"><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830634"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830634"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830633"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830633"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621680830632"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830632"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830634"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830633"><span class="hs-identifier hs-var">b</span></a></span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830632"><span class="hs-identifier hs-var">acc</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-117"></span><span>        </span><span class="annot"><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830631"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830631"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830630"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830630"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span>  </span><span id="local-6989586621680830629"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830629"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830631"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830630"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830629"><span class="hs-identifier hs-var">acc</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-118"></span><span>        </span><span class="annot"><a href="#local-6989586621680830641"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830628"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830628"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>  </span><span id="local-6989586621680830627"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830627"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830628"><span class="hs-identifier hs-var">xs</span></a></span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span><a href="../../base/src/GHC.Base.html#%2B%2B"><span class="hs-operator hs-var">++</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830627"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-119"></span><span>
</span><span id="line-120"></span><span id="local-6989586621680830626"><span class="annot"><a href="GHC.Data.OrdList.html#fromOLReverse"><span class="hs-identifier hs-type">fromOLReverse</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830626"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830626"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></span><span>
</span><span id="line-121"></span><span id="fromOLReverse"><span class="annot"><span class="annottext">fromOLReverse :: forall a. OrdList a -&gt; [a]
</span><a href="GHC.Data.OrdList.html#fromOLReverse"><span class="hs-identifier hs-var hs-var">fromOLReverse</span></a></span></span><span> </span><span id="local-6989586621680830625"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830625"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830625"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="hs-special">[</span><span class="hs-special">]</span><span>
</span><span id="line-122"></span><span>        </span><span class="hs-comment">-- acc is already in reverse order</span><span>
</span><span id="line-123"></span><span>  </span><span class="hs-keyword">where</span><span> </span><span id="local-6989586621680830623"><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-type">go</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830623"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830623"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830623"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span></span><span>
</span><span id="line-124"></span><span>        </span><span id="local-6989586621680830624"><span class="annot"><span class="annottext">go :: forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var hs-var">go</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>       </span><span id="local-6989586621680830622"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830622"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830622"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-125"></span><span>        </span><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830621"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830621"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span>    </span><span id="local-6989586621680830620"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830620"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830621"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830620"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-126"></span><span>        </span><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830619"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830619"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830618"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830618"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621680830617"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830617"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830618"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830619"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830617"><span class="hs-identifier hs-var">acc</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-127"></span><span>        </span><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830616"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830616"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830615"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830615"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span id="local-6989586621680830614"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830614"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830615"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; [a] -&gt; [a]
forall a. a -&gt; [a] -&gt; [a]
</span><span class="hs-glyph hs-var">:</span></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830616"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830614"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-128"></span><span>        </span><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830613"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830613"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830612"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830612"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span>  </span><span id="local-6989586621680830611"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830611"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830612"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; [a] -&gt; [a]
forall {a}. OrdList a -&gt; [a] -&gt; [a]
</span><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830613"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830611"><span class="hs-identifier hs-var">acc</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-129"></span><span>        </span><span class="annot"><a href="#local-6989586621680830624"><span class="hs-identifier hs-var">go</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830610"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830610"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>  </span><span id="local-6989586621680830609"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830609"><span class="hs-identifier hs-var">acc</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830610"><span class="hs-identifier hs-var">xs</span></a></span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a] -&gt; [a]
forall a. [a] -&gt; [a] -&gt; [a]
</span><a href="../../base/src/GHC.Base.html#%2B%2B"><span class="hs-operator hs-var">++</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830609"><span class="hs-identifier hs-var">acc</span></a></span><span>
</span><span id="line-130"></span><span>
</span><span id="line-131"></span><span id="local-6989586621680830606"><span id="local-6989586621680830607"><span class="annot"><a href="GHC.Data.OrdList.html#mapOL"><span class="hs-identifier hs-type">mapOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621680830607"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830606"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830607"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830606"><span class="hs-identifier hs-type">b</span></a></span></span></span><span>
</span><span id="line-132"></span><span id="mapOL"><span class="annot"><span class="annottext">mapOL :: forall a b. (a -&gt; b) -&gt; OrdList a -&gt; OrdList b
</span><a href="GHC.Data.OrdList.html#mapOL"><span class="hs-identifier hs-var hs-var">mapOL</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b) -&gt; OrdList a -&gt; OrdList b
forall (f :: * -&gt; *) a b. Functor f =&gt; (a -&gt; b) -&gt; f a -&gt; f b
</span><a href="../../base/src/GHC.Base.html#fmap"><span class="hs-identifier hs-var">fmap</span></a></span><span>
</span><span id="line-133"></span><span>
</span><span id="line-134"></span><span id="local-6989586621680830603"><span id="local-6989586621680830604"><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-type">foldrOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621680830604"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-glyph">-&gt;</span><span class="annot"><a href="#local-6989586621680830603"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-glyph">-&gt;</span><span class="annot"><a href="#local-6989586621680830603"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830603"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830604"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830603"><span class="hs-identifier hs-type">b</span></a></span></span></span><span>
</span><span id="line-135"></span><span id="foldrOL"><span class="annot"><span class="annottext">foldrOL :: forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var hs-var">foldrOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830601"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830601"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830601"><span class="hs-identifier hs-var">z</span></a></span><span>
</span><span id="line-136"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span id="local-6989586621680830600"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830600"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830599"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830599"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830598"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830598"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830600"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830598"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830599"><span class="hs-identifier hs-var">z</span></a></span><span>
</span><span id="line-137"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span id="local-6989586621680830597"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830597"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830596"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830596"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830595"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830595"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span id="local-6989586621680830594"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830594"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830597"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830595"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830597"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830596"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830594"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-138"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span id="local-6989586621680830593"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830593"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830592"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830592"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830591"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830591"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span id="local-6989586621680830590"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830590"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830593"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830593"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830590"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830592"><span class="hs-identifier hs-var">z</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830591"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-139"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span id="local-6989586621680830589"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830589"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830588"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830588"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830587"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830587"><span class="hs-identifier hs-var">b1</span></a></span></span><span> </span><span id="local-6989586621680830586"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830586"><span class="hs-identifier hs-var">b2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830589"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall a b. (a -&gt; b -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830589"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830588"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830586"><span class="hs-identifier hs-var">b2</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830587"><span class="hs-identifier hs-var">b1</span></a></span><span>
</span><span id="line-140"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldrOL"><span class="hs-identifier hs-var">foldrOL</span></a></span><span> </span><span id="local-6989586621680830585"><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830585"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830584"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830584"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830583"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830583"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(a -&gt; b -&gt; b) -&gt; b -&gt; [a] -&gt; b
forall (t :: * -&gt; *) a b.
Foldable t =&gt;
(a -&gt; b -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldr"><span class="hs-identifier hs-var">foldr</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; b -&gt; b
</span><a href="#local-6989586621680830585"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830584"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830583"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-141"></span><span>
</span><span id="line-142"></span><span class="hs-comment">-- | Strict left fold.</span><span>
</span><span id="line-143"></span><span id="local-6989586621680830581"><span id="local-6989586621680830582"><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-type">foldlOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="#local-6989586621680830582"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-glyph">-&gt;</span><span class="annot"><a href="#local-6989586621680830581"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-glyph">-&gt;</span><span class="annot"><a href="#local-6989586621680830582"><span class="hs-identifier hs-type">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830582"><span class="hs-identifier hs-type">b</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830581"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="#local-6989586621680830582"><span class="hs-identifier hs-type">b</span></a></span></span></span><span>
</span><span id="line-144"></span><span id="foldlOL"><span class="annot"><span class="annottext">foldlOL :: forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var hs-var">foldlOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><span class="hs-identifier">_</span></span><span> </span><span id="local-6989586621680830579"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830579"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>        </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830579"><span class="hs-identifier hs-var">z</span></a></span><span>
</span><span id="line-145"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span id="local-6989586621680830578"><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830578"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830577"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830577"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830576"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830576"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830578"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830577"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830576"><span class="hs-identifier hs-var">x</span></a></span><span>
</span><span id="line-146"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span id="local-6989586621680830575"><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830575"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830574"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830574"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830573"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830573"><span class="hs-identifier hs-var">x</span></a></span></span><span> </span><span id="local-6989586621680830572"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830572"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">let</span><span> </span><span class="hs-glyph">!</span><span id="local-6989586621680830571"><span class="annot"><span class="annottext">z' :: b
</span><a href="#local-6989586621680830571"><span class="hs-identifier hs-var hs-var">z'</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830575"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830574"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830573"><span class="hs-identifier hs-var">x</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">in</span><span> </span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830575"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830571"><span class="hs-identifier hs-var">z'</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830572"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-147"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span id="local-6989586621680830570"><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830570"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830569"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830569"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830568"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830568"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span id="local-6989586621680830567"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830567"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">let</span><span> </span><span class="hs-glyph">!</span><span id="local-6989586621680830566"><span class="annot"><span class="annottext">z' :: b
</span><a href="#local-6989586621680830566"><span class="hs-identifier hs-var hs-var">z'</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830570"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830569"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830568"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">in</span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830570"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830566"><span class="hs-identifier hs-var">z'</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830567"><span class="hs-identifier hs-var">x</span></a></span><span>
</span><span id="line-148"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span id="local-6989586621680830565"><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830565"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830564"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830564"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830563"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830563"><span class="hs-identifier hs-var">b1</span></a></span></span><span> </span><span id="local-6989586621680830562"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830562"><span class="hs-identifier hs-var">b2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-keyword">let</span><span> </span><span class="hs-glyph">!</span><span id="local-6989586621680830561"><span class="annot"><span class="annottext">z' :: b
</span><a href="#local-6989586621680830561"><span class="hs-identifier hs-var hs-var">z'</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830565"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830564"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830563"><span class="hs-identifier hs-var">b1</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-keyword">in</span><span> </span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
forall b a. (b -&gt; a -&gt; b) -&gt; b -&gt; OrdList a -&gt; b
</span><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830565"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830561"><span class="hs-identifier hs-var">z'</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830562"><span class="hs-identifier hs-var">b2</span></a></span><span>
</span><span id="line-149"></span><span class="annot"><a href="GHC.Data.OrdList.html#foldlOL"><span class="hs-identifier hs-var">foldlOL</span></a></span><span> </span><span id="local-6989586621680830560"><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830560"><span class="hs-identifier hs-var">k</span></a></span></span><span> </span><span id="local-6989586621680830559"><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830559"><span class="hs-identifier hs-var">z</span></a></span></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830558"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830558"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">(b -&gt; a -&gt; b) -&gt; b -&gt; [a] -&gt; b
forall (t :: * -&gt; *) b a.
Foldable t =&gt;
(b -&gt; a -&gt; b) -&gt; b -&gt; t a -&gt; b
</span><a href="../../base/src/Data.Foldable.html#foldl%27"><span class="hs-identifier hs-var">foldl'</span></a></span><span> </span><span class="annot"><span class="annottext">b -&gt; a -&gt; b
</span><a href="#local-6989586621680830560"><span class="hs-identifier hs-var">k</span></a></span><span> </span><span class="annot"><span class="annottext">b
</span><a href="#local-6989586621680830559"><span class="hs-identifier hs-var">z</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830558"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-150"></span><span>
</span><span id="line-151"></span><span id="local-6989586621680830920"><span class="annot"><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier hs-type">toOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="hs-special">[</span><span class="annot"><a href="#local-6989586621680830920"><span class="hs-identifier hs-type">a</span></a></span><span class="hs-special">]</span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830920"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-152"></span><span id="toOL"><span class="annot"><span class="annottext">toOL :: forall a. [a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier hs-var hs-var">toOL</span></a></span></span><span> </span><span class="hs-special">[</span><span class="hs-special">]</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>
</span><span id="line-153"></span><span class="annot"><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier hs-var">toOL</span></a></span><span> </span><span class="hs-special">[</span><span id="local-6989586621680830557"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830557"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">]</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a
forall a. a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-var">One</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830557"><span class="hs-identifier hs-var">x</span></a></span><span>
</span><span id="line-154"></span><span class="annot"><a href="GHC.Data.OrdList.html#toOL"><span class="hs-identifier hs-var">toOL</span></a></span><span> </span><span id="local-6989586621680830556"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830556"><span class="hs-identifier hs-var">xs</span></a></span></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; OrdList a
forall a. [a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-var">Many</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830556"><span class="hs-identifier hs-var">xs</span></a></span><span>
</span><span id="line-155"></span><span>
</span><span id="line-156"></span><span id="local-6989586621680830885"><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-type">reverseOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830885"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830885"><span class="hs-identifier hs-type">a</span></a></span></span><span>
</span><span id="line-157"></span><span id="reverseOL"><span class="annot"><span class="annottext">reverseOL :: forall a. OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var hs-var">reverseOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
forall a. OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>
</span><span id="line-158"></span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830555"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830555"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a
forall a. a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-var">One</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830555"><span class="hs-identifier hs-var">x</span></a></span><span>
</span><span id="line-159"></span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830554"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830554"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830553"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830553"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; a -&gt; OrdList a
forall a. OrdList a -&gt; a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-var">Snoc</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830553"><span class="hs-identifier hs-var">b</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830554"><span class="hs-identifier hs-var">a</span></a></span><span>
</span><span id="line-160"></span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830552"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830552"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830551"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830551"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; OrdList a -&gt; OrdList a
forall a. a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-var">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830551"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830552"><span class="hs-identifier hs-var">a</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-161"></span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830550"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830550"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830549"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830549"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-var">Two</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830549"><span class="hs-identifier hs-var">b</span></a></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a
forall a. OrdList a -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830550"><span class="hs-identifier hs-var">a</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-162"></span><span class="annot"><a href="GHC.Data.OrdList.html#reverseOL"><span class="hs-identifier hs-var">reverseOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830548"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830548"><span class="hs-identifier hs-var">xs</span></a></span></span><span class="hs-special">)</span><span>  </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; OrdList a
forall a. [a] -&gt; OrdList a
</span><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-var">Many</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">[a] -&gt; [a]
forall a. [a] -&gt; [a]
</span><a href="../../base/src/GHC.List.html#reverse"><span class="hs-identifier hs-var">reverse</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830548"><span class="hs-identifier hs-var">xs</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-163"></span><span>
</span><span id="line-164"></span><span class="hs-comment">-- | Compare not only the values but also the structure of two lists</span><span>
</span><span id="line-165"></span><span id="local-6989586621680830883"><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-type">strictlyEqOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Eq</span></span><span> </span><span class="annot"><a href="#local-6989586621680830883"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830883"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830883"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Bool</span></span></span><span>
</span><span id="line-166"></span><span id="strictlyEqOL"><span class="annot"><span class="annottext">strictlyEqOL :: forall a. Eq a =&gt; OrdList a -&gt; OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var hs-var">strictlyEqOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>         </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>       </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">True</span></span><span>
</span><span id="line-167"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830537"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830537"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830536"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830536"><span class="hs-identifier hs-var">y</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830537"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Bool
forall a. Eq a =&gt; a -&gt; a -&gt; Bool
</span><span class="hs-operator hs-var">==</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830536"><span class="hs-identifier hs-var">y</span></a></span><span>
</span><span id="line-168"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830535"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830535"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830534"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830534"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830533"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830533"><span class="hs-identifier hs-var">b</span></a></span></span><span> </span><span id="local-6989586621680830532"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830532"><span class="hs-identifier hs-var">bs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830535"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Bool
forall a. Eq a =&gt; a -&gt; a -&gt; Bool
</span><span class="hs-operator hs-var">==</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830533"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Bool -&gt; Bool
</span><span class="hs-operator hs-var">&amp;&amp;</span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830534"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Bool
forall a. Eq a =&gt; OrdList a -&gt; OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-operator hs-var">`strictlyEqOL`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830532"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-169"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830530"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830530"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span id="local-6989586621680830529"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830529"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830528"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830528"><span class="hs-identifier hs-var">bs</span></a></span></span><span> </span><span id="local-6989586621680830527"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830527"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830529"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Bool
forall a. Eq a =&gt; a -&gt; a -&gt; Bool
</span><span class="hs-operator hs-var">==</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830527"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Bool -&gt; Bool
</span><span class="hs-operator hs-var">&amp;&amp;</span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830530"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Bool
forall a. Eq a =&gt; OrdList a -&gt; OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-operator hs-var">`strictlyEqOL`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830528"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-170"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830526"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830526"><span class="hs-identifier hs-var">a1</span></a></span></span><span> </span><span id="local-6989586621680830525"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830525"><span class="hs-identifier hs-var">a2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830524"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830524"><span class="hs-identifier hs-var">b1</span></a></span></span><span> </span><span id="local-6989586621680830523"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830523"><span class="hs-identifier hs-var">b2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830526"><span class="hs-identifier hs-var">a1</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Bool
forall a. Eq a =&gt; OrdList a -&gt; OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-operator hs-var">`strictlyEqOL`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830524"><span class="hs-identifier hs-var">b1</span></a></span><span> </span><span class="annot"><span class="annottext">Bool -&gt; Bool -&gt; Bool
</span><span class="hs-operator hs-var">&amp;&amp;</span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830525"><span class="hs-identifier hs-var">a2</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Bool
forall a. Eq a =&gt; OrdList a -&gt; OrdList a -&gt; Bool
</span><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-operator hs-var">`strictlyEqOL`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830523"><span class="hs-identifier hs-var">b2</span></a></span><span>
</span><span id="line-171"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830522"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830522"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830521"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830521"><span class="hs-identifier hs-var">bs</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830522"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a] -&gt; Bool
forall a. Eq a =&gt; a -&gt; a -&gt; Bool
</span><span class="hs-operator hs-var">==</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830521"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-172"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyEqOL"><span class="hs-identifier hs-var">strictlyEqOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>            </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Bool
</span><span class="hs-identifier hs-var">False</span></span><span>
</span><span id="line-173"></span><span>
</span><span id="line-174"></span><span class="hs-comment">-- | Compare not only the values but also the structure of two lists</span><span>
</span><span id="line-175"></span><span id="local-6989586621680830879"><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-type">strictlyOrdOL</span></a></span><span> </span><span class="hs-glyph">::</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ord</span></span><span> </span><span class="annot"><a href="#local-6989586621680830879"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">=&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830879"><span class="hs-identifier hs-type">a</span></a></span><span>   </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><a href="GHC.Data.OrdList.html#OrdList"><span class="hs-identifier hs-type">OrdList</span></a></span><span> </span><span class="annot"><a href="#local-6989586621680830879"><span class="hs-identifier hs-type">a</span></a></span><span> </span><span class="hs-glyph">-&gt;</span><span> </span><span class="annot"><span class="hs-identifier hs-type">Ordering</span></span></span><span>
</span><span id="line-176"></span><span id="strictlyOrdOL"><span class="annot"><span class="annottext">strictlyOrdOL :: forall a. Ord a =&gt; OrdList a -&gt; OrdList a -&gt; Ordering
</span><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var hs-var">strictlyOrdOL</span></a></span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>         </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>       </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">EQ</span></span><span>
</span><span id="line-177"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="GHC.Data.OrdList.html#None"><span class="hs-identifier hs-var">None</span></a></span><span>         </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">LT</span></span><span>
</span><span id="line-178"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830506"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830506"><span class="hs-identifier hs-var">x</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span id="local-6989586621680830505"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830505"><span class="hs-identifier hs-var">y</span></a></span></span><span class="hs-special">)</span><span>     </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Ordering
forall a. Ord a =&gt; a -&gt; a -&gt; Ordering
</span><span class="hs-identifier hs-var">compare</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830506"><span class="hs-identifier hs-var">x</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830505"><span class="hs-identifier hs-var">y</span></a></span><span>
</span><span id="line-179"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#One"><span class="hs-identifier hs-type">One</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>      </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">LT</span></span><span>
</span><span id="line-180"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830503"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830503"><span class="hs-identifier hs-var">a</span></a></span></span><span> </span><span id="local-6989586621680830502"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830502"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span id="local-6989586621680830501"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830501"><span class="hs-identifier hs-var">b</span></a></span></span><span> </span><span id="local-6989586621680830500"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830500"><span class="hs-identifier hs-var">bs</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-181"></span><span>  </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Ordering
forall a. Ord a =&gt; a -&gt; a -&gt; Ordering
</span><span class="hs-identifier hs-var">compare</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830503"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830501"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">Ordering -&gt; Ordering -&gt; Ordering
forall a. Monoid a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#mappend"><span class="hs-operator hs-var">`mappend`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Ordering
forall a. Ord a =&gt; OrdList a -&gt; OrdList a -&gt; Ordering
</span><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830502"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830500"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-182"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Cons"><span class="hs-identifier hs-type">Cons</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>   </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">LT</span></span><span>
</span><span id="line-183"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830499"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830499"><span class="hs-keyword hs-var">as</span></a></span></span><span> </span><span id="local-6989586621680830498"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830498"><span class="hs-identifier hs-var">a</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span id="local-6989586621680830497"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830497"><span class="hs-identifier hs-var">bs</span></a></span></span><span> </span><span id="local-6989586621680830496"><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830496"><span class="hs-identifier hs-var">b</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-184"></span><span>  </span><span class="annot"><span class="annottext">a -&gt; a -&gt; Ordering
forall a. Ord a =&gt; a -&gt; a -&gt; Ordering
</span><span class="hs-identifier hs-var">compare</span></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830498"><span class="hs-identifier hs-var">a</span></a></span><span> </span><span class="annot"><span class="annottext">a
</span><a href="#local-6989586621680830496"><span class="hs-identifier hs-var">b</span></a></span><span> </span><span class="annot"><span class="annottext">Ordering -&gt; Ordering -&gt; Ordering
forall a. Monoid a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#mappend"><span class="hs-operator hs-var">`mappend`</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Ordering
forall a. Ord a =&gt; OrdList a -&gt; OrdList a -&gt; Ordering
</span><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830499"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830497"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-185"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Snoc"><span class="hs-identifier hs-type">Snoc</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span> </span><span class="annot"><span class="annottext">a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>   </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">LT</span></span><span>
</span><span id="line-186"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830495"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830495"><span class="hs-identifier hs-var">a1</span></a></span></span><span> </span><span id="local-6989586621680830494"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830494"><span class="hs-identifier hs-var">a2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span id="local-6989586621680830493"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830493"><span class="hs-identifier hs-var">b1</span></a></span></span><span> </span><span id="local-6989586621680830492"><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830492"><span class="hs-identifier hs-var">b2</span></a></span></span><span class="hs-special">)</span><span> </span><span class="hs-glyph">=</span><span>
</span><span id="line-187"></span><span>  </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Ordering
forall a. Ord a =&gt; OrdList a -&gt; OrdList a -&gt; Ordering
</span><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830495"><span class="hs-identifier hs-var">a1</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830493"><span class="hs-identifier hs-var">b1</span></a></span><span class="hs-special">)</span><span> </span><span class="annot"><span class="annottext">Ordering -&gt; Ordering -&gt; Ordering
forall a. Monoid a =&gt; a -&gt; a -&gt; a
</span><a href="../../base/src/GHC.Base.html#mappend"><span class="hs-operator hs-var">`mappend`</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><span class="annottext">OrdList a -&gt; OrdList a -&gt; Ordering
forall a. Ord a =&gt; OrdList a -&gt; OrdList a -&gt; Ordering
</span><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830494"><span class="hs-identifier hs-var">a2</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><a href="#local-6989586621680830492"><span class="hs-identifier hs-var">b2</span></a></span><span class="hs-special">)</span><span>
</span><span id="line-188"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Two"><span class="hs-identifier hs-type">Two</span></a></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span> </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span class="hs-special">)</span><span>    </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>          </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">LT</span></span><span>
</span><span id="line-189"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830491"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830491"><span class="hs-keyword hs-var">as</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span id="local-6989586621680830490"><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830490"><span class="hs-identifier hs-var">bs</span></a></span></span><span class="hs-special">)</span><span>   </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">[a] -&gt; [a] -&gt; Ordering
forall a. Ord a =&gt; a -&gt; a -&gt; Ordering
</span><span class="hs-identifier hs-var">compare</span></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830491"><span class="hs-keyword hs-var">as</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><a href="#local-6989586621680830490"><span class="hs-identifier hs-var">bs</span></a></span><span>
</span><span id="line-190"></span><span class="annot"><a href="GHC.Data.OrdList.html#strictlyOrdOL"><span class="hs-identifier hs-var">strictlyOrdOL</span></a></span><span> </span><span class="hs-special">(</span><span class="annot"><a href="GHC.Data.OrdList.html#Many"><span class="hs-identifier hs-type">Many</span></a></span><span> </span><span class="annot"><span class="annottext">[a]
</span><span class="hs-identifier">_</span></span><span> </span><span class="hs-special">)</span><span>   </span><span class="annot"><span class="annottext">OrdList a
</span><span class="hs-identifier">_</span></span><span>           </span><span class="hs-glyph">=</span><span> </span><span class="annot"><span class="annottext">Ordering
</span><span class="hs-identifier hs-var">GT</span></span><span>
</span><span id="line-191"></span><span>
</span><span id="line-192"></span><span>
</span><span id="line-193"></span></pre></body></html>